Remove unused workspace._visible property

diff --git a/js/ui/workspace.js b/js/ui/workspace.js
index b7837e853ebf160839f787c8ca965e1d82d1e8f4..0f53380af88ae0b965c778990281ed2c81348e0a 100644 (file)
--- a/js/ui/workspace.js
+++ b/js/ui/workspace.js
@@ -566,8 +566,6 @@ Workspace.prototype = {
                                                             Lang.bind(this, this._windowRemoved));
         this._repositionWindowsId = 0;
 
-        this._visible = false;
-
         this.leavingOverview = false;
     },
 
@@ -1206,8 +1204,6 @@ Workspace.prototype = {
             this.positionWindows(WindowPositionFlags.ANIMATE | WindowPositionFlags.ZOOM);
         else
             this.positionWindows(WindowPositionFlags.ZOOM);
-
-        this._visible = true;
     },
 
     // Animates the return from Overview mode
@@ -1253,7 +1249,6 @@ Workspace.prototype = {
             }
         }
 
-        this._visible = false;
     },
 
     destroy : function() {